COMMENT ⊗   VALID 00005 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	1986 Nov
C00005 00003	1986 November, 2nd file
C00008 00004	1986 November, 3rd file
C00010 00005	1986 Dec
C00011 ENDMK
C⊗;
1986 Nov

(letter: Audrey Marshall) (re: her painting of Timothy)
(draft: Bob Kahn) (re: digital library)
(brochure: cable co-op) (re: services, board, participation)
(certificate: ijcai) (re: award for research excellence)
(brochure: Monterey Plaza Hotel)
(paper: Mikhail S. Bernstam) (re: Bleeding Hearts and Liquid Assets:
	Seeking Rent on Public Goods)
(paper: Mikhail S. Bernstam) (re: "Not to slam the door": domestic economic
causes and the new Soviet foreign strategy)
(picture: Gov. Deukmejian)
(letter and papers: Sue Toledo)
(brochure: Union Bank priority banking)
(review: of Golden Gate by Vikram Seth (reviewer: John Hollander))
(newsletter: Minolta Contact Sheet)
(extract: STRIPS blocks axioms)
(letter: Sidney Hook) (re: UCRA attitude to Accuracy in Academia)
(brochure: USA Statistics in brief 1986)
(form: Fiera Milano, report of funds transfer)
(brochure: reliable water company, Fredkin)
(agreement: amendment with MAD for retainer, John Nafeh)
(souvenir: rules for Repino hotel, Russia, Soviet)
(notice: City of Davis, stored vehicle, (re: Vera's mazda))
(business card: Alexandr K. Platonov)
(business card: Audrey Marshall)
(letter: from Sarah with picture of herself on Smiley)
(paper draft: (author: Vladimir Lifschitz) (title: Circumscription
in the blocks world) (date: 1985 December))
(cartoon: (S. Harris, abnormal penguin))
(business card: Victor Briabrin with phones, Soviet)
1986 November, 2nd file

(letter: Sarah)
(brochure: Consumer Alert)
(clipping: Wall Street Journal, wsj, Futuristic computer-controlled houses
 	(re: .ess, essays in technology)
(letter: MAD stock option material (re: John Nafeh))
(letter: III directors' stock option plan)
(picture: proof sheet of pictures of Carolyn and me)
(paper: Ian Mason (title: Equivalence of First Order Lisp programs))
(notes: jmc, What good are intentions for AI?)
(notes: Leslie Kaelbling on blocks world)
(notes: Technology opinion files)
(agreement: sample non-disclosure agreeement)
(manual: Phone-mate 500 manual, telephone)
(clipping: wsj, 30 emigre Soviet scientists support sdi)
(notes: on prices of cellular telephones)
(notes: On Formal Theories of Action by Vladimir Lifschitz, VAL)
(notes: On the Semantics of STRIPS by Vladimir Lifschitz, VAL)
(memo: Formal Description of the Game of Pang-ke, John McCarthy, jmc
	Stanford AI Memo 17, July 20, 1964)
(letter: from Sidney Hook to Lane Kirkland about the electricity problem)
(paper: Gian-Carlo Rota, Combinatorial Analysis,
	every n↑2+1 sequence contains an increasing or decreasing n+1 sequence)
(paper: Karl Cohen, Nuclear Power)
(paper: Cartwright and McCarthy, Recursive Programs as Functions in a
	First Order Theory)
(memo: from ... Mick, notes for proposed joint book on AI)
(clipping: wsj Interior sec. decides not to list endangered vistas, wrong)
(clipping: wsj Build nuclear plants that don't need evacuation plans, wrong)
(paper: Gabriel and McCarthy, jmc, Queue-based multi-processing lisp, qlisp)
1986 November, 3rd file

(clipping: Wanted: an Einstein to Help Machines Think" by Kay Mills,
	based on interview with JMC)
(brochure: psa's computer system for flight info)
(manual: Casio PF-7000 databank calculator)
(manual: Socrates summary)
(memo: III stock option to John McCarthy)
(memo: III stock options)
(inventory: shed by Diffie)
(inventory: books by Diffie)
(memo: on 8 queens and general backtracking macro, jmc)
(notes: handwritten jmc)
(listing: blocks files jmc)
(draft: endemic nuclear war, non-SAIL computer file, jmc)
(map: Stanford maps)
(card: Christmas card from Elise Belenky)
(agreement: Inference Stock option)
(agreement: Consulting for MAD)
(draft: Vladimir Lifschitz, VAL, Prioritized circumscription and
	separable formulas)
(speech: jmc AAAI presidential speech)
(agreement: review of Dyson book for Reason)
(brochure: Maxxum 9000 system)
(article: (author: Hilton Cramer) (criticizes review by David Rieff
of Against all Hope by Armando Valladares) (title: Anti-Communism
and the Sontag circle) (note: Cramer has lots of good quotes from
Sontag, et. al.))
(book: On maxxum system)
1986 Dec

(report: on III)
(check stub from MGF and discontinuation announcement)
(article: (a: Sidney Hook) (t: My Running Debate with Einstein))
(handouts: Halmos problem seminar)
(paper: (a: A. J. van der Poorten) (t: An Introduction to Continued Fractions)
	(matrix approach))
(article: (a: Minsky) (t: Genius may be more common than you think))
(exam: cs306 final, Fall '86)
(notes: Timothy requirements, re: Carolyn trip to Italy)
(notes: On mental situations, rather obscure, jmc)